大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Architecture (6th : 1979) 的图书(共6519本)

Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 4th Symposium on Hybrid RANS-LES Methods, Beijing, China, September 2011

0
索取号:
作者:Fu、 Song.、Haase、 Werner.、Peng、 Shia-Hui.、Schwamborn、 Dieter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Combinatorial Optimization and Applications [electronic resource] : 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings

0
索取号:
作者:Lin、 Guohui.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Wireless Networks and Computational Intelligence [electronic resource] : 6th International Conference on Information Processing, ICIP 2012, Bangalore, India, August 10-12, 2012. Proceedings

0
索取号:
作者:Venugopal、 K. R.、Patnaik、 L. M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Privacy Enhancing Technologies [electronic resource] : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings

0
索取号:
作者:Fischer-H眉bner、 Simone.、Wright、 Matthew.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

0
索取号:
作者:脜gotnes、 Thomas.、Broersen、 Jan.、Elgesem、 Dag.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

0
索取号:
作者:Rahaman、 Hafizur.、Chattopadhyay、 Sanatan.、Chattopadhyay、 Santanu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

0
索取号:
作者:Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

0
索取号:
作者:Jeuring、 Johan.、Campbell、 John A.、Carette、 Jacques.、Reis、 Gabriel.、Sojka、 Petr.、Wenzel、 Makarius.、Sorge、 Volker.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

0
索取号:
作者:Gramlich、 Bernhard.、Miller、 Dale.、Sattler、 Uli.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Neural Networks-ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II

0
索取号:
作者:Wang、 Jun.、Yen、 Gary G.、Polycarpou、 Marios M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Neural Networks-ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I

0
索取号:
作者:Wang、 Jun.、Yen、 Gary G.、Polycarpou、 Marios M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Combinatorial Pattern Matching [electronic resource] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings

0
索取号:
作者:K盲rkk盲inen、 Juha.、Stoye、 Jens.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Networks [electronic resource] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

0
索取号:
作者:Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Algorithm Theory-SWAT 2012 [electronic resource] : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings

0
索取号:
作者:Fomin、 Fedor V.、Kaski、 Petteri.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems [electronic resource] : 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

0
索取号:
作者:Askoxylakis、 Ioannis.、P枚hls、 Henrich C.、Posegga、 Joachim.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类